Optimal. Leaf size=103 \[ \frac {\left (b^2-4 a c\right )^2 (b d+2 c d x)^{1+m}}{32 c^3 d (1+m)}-\frac {\left (b^2-4 a c\right ) (b d+2 c d x)^{3+m}}{16 c^3 d^3 (3+m)}+\frac {(b d+2 c d x)^{5+m}}{32 c^3 d^5 (5+m)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 103, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.042, Rules used = {697}
\begin {gather*} -\frac {\left (b^2-4 a c\right ) (b d+2 c d x)^{m+3}}{16 c^3 d^3 (m+3)}+\frac {\left (b^2-4 a c\right )^2 (b d+2 c d x)^{m+1}}{32 c^3 d (m+1)}+\frac {(b d+2 c d x)^{m+5}}{32 c^3 d^5 (m+5)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 697
Rubi steps
\begin {align*} \int (b d+2 c d x)^m \left (a+b x+c x^2\right )^2 \, dx &=\int \left (\frac {\left (-b^2+4 a c\right )^2 (b d+2 c d x)^m}{16 c^2}+\frac {\left (-b^2+4 a c\right ) (b d+2 c d x)^{2+m}}{8 c^2 d^2}+\frac {(b d+2 c d x)^{4+m}}{16 c^2 d^4}\right ) \, dx\\ &=\frac {\left (b^2-4 a c\right )^2 (b d+2 c d x)^{1+m}}{32 c^3 d (1+m)}-\frac {\left (b^2-4 a c\right ) (b d+2 c d x)^{3+m}}{16 c^3 d^3 (3+m)}+\frac {(b d+2 c d x)^{5+m}}{32 c^3 d^5 (5+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.10, size = 77, normalized size = 0.75 \begin {gather*} \frac {(b+2 c x) (d (b+2 c x))^m \left (\frac {\left (b^2-4 a c\right )^2}{1+m}-\frac {2 \left (b^2-4 a c\right ) (b+2 c x)^2}{3+m}+\frac {(b+2 c x)^4}{5+m}\right )}{32 c^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(254\) vs.
\(2(97)=194\).
time = 0.70, size = 255, normalized size = 2.48
method | result | size |
gosper | \(\frac {\left (2 c x +b \right ) \left (2 c^{4} m^{2} x^{4}+4 b \,c^{3} m^{2} x^{3}+8 c^{4} m \,x^{4}+4 a \,c^{3} m^{2} x^{2}+2 b^{2} c^{2} m^{2} x^{2}+16 b \,c^{3} m \,x^{3}+6 c^{4} x^{4}+4 a b \,c^{2} m^{2} x +24 a \,c^{3} m \,x^{2}+6 b^{2} c^{2} m \,x^{2}+12 b \,c^{3} x^{3}+2 a^{2} c^{2} m^{2}+24 a b \,c^{2} m x +20 x^{2} c^{3} a -2 b^{3} c m x +4 b^{2} c^{2} x^{2}+16 a^{2} c^{2} m -2 a \,b^{2} c m +20 x a b \,c^{2}-2 b^{3} c x +30 a^{2} c^{2}-10 a c \,b^{2}+b^{4}\right ) \left (2 c d x +b d \right )^{m}}{4 c^{3} \left (m^{3}+9 m^{2}+23 m +15\right )}\) | \(255\) |
norman | \(\frac {c^{2} x^{5} {\mathrm e}^{m \ln \left (2 c d x +b d \right )}}{5+m}+\frac {\left (2 a c m +2 b^{2} m +10 a c +5 b^{2}\right ) x^{3} {\mathrm e}^{m \ln \left (2 c d x +b d \right )}}{m^{2}+8 m +15}+\frac {5 b c \,x^{4} {\mathrm e}^{m \ln \left (2 c d x +b d \right )}}{2 \left (5+m \right )}+\frac {b \left (2 a^{2} c^{2} m^{2}+16 a^{2} c^{2} m -2 a \,b^{2} c m +30 a^{2} c^{2}-10 a c \,b^{2}+b^{4}\right ) {\mathrm e}^{m \ln \left (2 c d x +b d \right )}}{4 c^{3} \left (m^{3}+9 m^{2}+23 m +15\right )}+\frac {\left (2 a^{2} c^{2} m^{2}+2 a \,b^{2} c \,m^{2}+16 a^{2} c^{2} m +10 a \,b^{2} c m -b^{4} m +30 a^{2} c^{2}\right ) x \,{\mathrm e}^{m \ln \left (2 c d x +b d \right )}}{2 c^{2} \left (m^{3}+9 m^{2}+23 m +15\right )}+\frac {\left (6 a c m +b^{2} m +30 a c \right ) b \,x^{2} {\mathrm e}^{m \ln \left (2 c d x +b d \right )}}{2 c \left (m^{2}+8 m +15\right )}\) | \(315\) |
risch | \(\frac {\left (4 c^{5} m^{2} x^{5}+10 b \,c^{4} m^{2} x^{4}+16 c^{5} m \,x^{5}+8 a \,c^{4} m^{2} x^{3}+8 b^{2} c^{3} m^{2} x^{3}+40 b \,c^{4} m \,x^{4}+12 c^{5} x^{5}+12 a b \,c^{3} m^{2} x^{2}+48 a \,c^{4} m \,x^{3}+2 b^{3} c^{2} m^{2} x^{2}+28 b^{2} c^{3} m \,x^{3}+30 b \,c^{4} x^{4}+4 a^{2} c^{3} m^{2} x +4 a \,b^{2} c^{2} m^{2} x +72 a b \,c^{3} m \,x^{2}+40 a \,c^{4} x^{3}+2 b^{3} c^{2} m \,x^{2}+20 b^{2} c^{3} x^{3}+2 a^{2} b \,c^{2} m^{2}+32 a^{2} c^{3} m x +20 a \,b^{2} c^{2} m x +60 a b \,c^{3} x^{2}-2 b^{4} c m x +16 a^{2} b \,c^{2} m +60 a^{2} c^{3} x -2 a \,b^{3} c m +30 a^{2} b \,c^{2}-10 a \,b^{3} c +b^{5}\right ) \left (d \left (2 c x +b \right )\right )^{m}}{4 \left (3+m \right ) \left (5+m \right ) \left (1+m \right ) c^{3}}\) | \(331\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 539 vs.
\(2 (97) = 194\).
time = 0.31, size = 539, normalized size = 5.23 \begin {gather*} \frac {{\left (4 \, c^{2} d^{m} {\left (m + 1\right )} x^{2} + 2 \, b c d^{m} m x - b^{2} d^{m}\right )} {\left (2 \, c x + b\right )}^{m} a b}{2 \, {\left (m^{2} + 3 \, m + 2\right )} c^{2}} + \frac {{\left (4 \, {\left (m^{2} + 3 \, m + 2\right )} c^{3} d^{m} x^{3} + 2 \, {\left (m^{2} + m\right )} b c^{2} d^{m} x^{2} - 2 \, b^{2} c d^{m} m x + b^{3} d^{m}\right )} {\left (2 \, c x + b\right )}^{m} b^{2}}{4 \, {\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )} c^{3}} + \frac {{\left (4 \, {\left (m^{2} + 3 \, m + 2\right )} c^{3} d^{m} x^{3} + 2 \, {\left (m^{2} + m\right )} b c^{2} d^{m} x^{2} - 2 \, b^{2} c d^{m} m x + b^{3} d^{m}\right )} {\left (2 \, c x + b\right )}^{m} a}{2 \, {\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )} c^{2}} + \frac {{\left (2 \, c d x + b d\right )}^{m + 1} a^{2}}{2 \, c d {\left (m + 1\right )}} + \frac {{\left (8 \, {\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )} c^{4} d^{m} x^{4} + 4 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} b c^{3} d^{m} x^{3} - 6 \, {\left (m^{2} + m\right )} b^{2} c^{2} d^{m} x^{2} + 6 \, b^{3} c d^{m} m x - 3 \, b^{4} d^{m}\right )} {\left (2 \, c x + b\right )}^{m} b}{4 \, {\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} c^{3}} + \frac {{\left (4 \, {\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} c^{5} d^{m} x^{5} + 2 \, {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} b c^{4} d^{m} x^{4} - 4 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} b^{2} c^{3} d^{m} x^{3} + 6 \, {\left (m^{2} + m\right )} b^{3} c^{2} d^{m} x^{2} - 6 \, b^{4} c d^{m} m x + 3 \, b^{5} d^{m}\right )} {\left (2 \, c x + b\right )}^{m}}{4 \, {\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )} c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 307 vs.
\(2 (97) = 194\).
time = 2.65, size = 307, normalized size = 2.98 \begin {gather*} \frac {{\left (2 \, a^{2} b c^{2} m^{2} + 4 \, {\left (c^{5} m^{2} + 4 \, c^{5} m + 3 \, c^{5}\right )} x^{5} + b^{5} - 10 \, a b^{3} c + 30 \, a^{2} b c^{2} + 10 \, {\left (b c^{4} m^{2} + 4 \, b c^{4} m + 3 \, b c^{4}\right )} x^{4} + 4 \, {\left (5 \, b^{2} c^{3} + 10 \, a c^{4} + 2 \, {\left (b^{2} c^{3} + a c^{4}\right )} m^{2} + {\left (7 \, b^{2} c^{3} + 12 \, a c^{4}\right )} m\right )} x^{3} + 2 \, {\left (30 \, a b c^{3} + {\left (b^{3} c^{2} + 6 \, a b c^{3}\right )} m^{2} + {\left (b^{3} c^{2} + 36 \, a b c^{3}\right )} m\right )} x^{2} - 2 \, {\left (a b^{3} c - 8 \, a^{2} b c^{2}\right )} m + 2 \, {\left (30 \, a^{2} c^{3} + 2 \, {\left (a b^{2} c^{2} + a^{2} c^{3}\right )} m^{2} - {\left (b^{4} c - 10 \, a b^{2} c^{2} - 16 \, a^{2} c^{3}\right )} m\right )} x\right )} {\left (2 \, c d x + b d\right )}^{m}}{4 \, {\left (c^{3} m^{3} + 9 \, c^{3} m^{2} + 23 \, c^{3} m + 15 \, c^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 3196 vs.
\(2 (92) = 184\).
time = 0.90, size = 3196, normalized size = 31.03 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 651 vs.
\(2 (97) = 194\).
time = 1.69, size = 651, normalized size = 6.32 \begin {gather*} \frac {4 \, {\left (2 \, c d x + b d\right )}^{m} c^{5} m^{2} x^{5} + 10 \, {\left (2 \, c d x + b d\right )}^{m} b c^{4} m^{2} x^{4} + 16 \, {\left (2 \, c d x + b d\right )}^{m} c^{5} m x^{5} + 8 \, {\left (2 \, c d x + b d\right )}^{m} b^{2} c^{3} m^{2} x^{3} + 8 \, {\left (2 \, c d x + b d\right )}^{m} a c^{4} m^{2} x^{3} + 40 \, {\left (2 \, c d x + b d\right )}^{m} b c^{4} m x^{4} + 12 \, {\left (2 \, c d x + b d\right )}^{m} c^{5} x^{5} + 2 \, {\left (2 \, c d x + b d\right )}^{m} b^{3} c^{2} m^{2} x^{2} + 12 \, {\left (2 \, c d x + b d\right )}^{m} a b c^{3} m^{2} x^{2} + 28 \, {\left (2 \, c d x + b d\right )}^{m} b^{2} c^{3} m x^{3} + 48 \, {\left (2 \, c d x + b d\right )}^{m} a c^{4} m x^{3} + 30 \, {\left (2 \, c d x + b d\right )}^{m} b c^{4} x^{4} + 4 \, {\left (2 \, c d x + b d\right )}^{m} a b^{2} c^{2} m^{2} x + 4 \, {\left (2 \, c d x + b d\right )}^{m} a^{2} c^{3} m^{2} x + 2 \, {\left (2 \, c d x + b d\right )}^{m} b^{3} c^{2} m x^{2} + 72 \, {\left (2 \, c d x + b d\right )}^{m} a b c^{3} m x^{2} + 20 \, {\left (2 \, c d x + b d\right )}^{m} b^{2} c^{3} x^{3} + 40 \, {\left (2 \, c d x + b d\right )}^{m} a c^{4} x^{3} + 2 \, {\left (2 \, c d x + b d\right )}^{m} a^{2} b c^{2} m^{2} - 2 \, {\left (2 \, c d x + b d\right )}^{m} b^{4} c m x + 20 \, {\left (2 \, c d x + b d\right )}^{m} a b^{2} c^{2} m x + 32 \, {\left (2 \, c d x + b d\right )}^{m} a^{2} c^{3} m x + 60 \, {\left (2 \, c d x + b d\right )}^{m} a b c^{3} x^{2} - 2 \, {\left (2 \, c d x + b d\right )}^{m} a b^{3} c m + 16 \, {\left (2 \, c d x + b d\right )}^{m} a^{2} b c^{2} m + 60 \, {\left (2 \, c d x + b d\right )}^{m} a^{2} c^{3} x + {\left (2 \, c d x + b d\right )}^{m} b^{5} - 10 \, {\left (2 \, c d x + b d\right )}^{m} a b^{3} c + 30 \, {\left (2 \, c d x + b d\right )}^{m} a^{2} b c^{2}}{4 \, {\left (c^{3} m^{3} + 9 \, c^{3} m^{2} + 23 \, c^{3} m + 15 \, c^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.75, size = 307, normalized size = 2.98 \begin {gather*} {\left (b\,d+2\,c\,d\,x\right )}^m\,\left (\frac {x\,\left (4\,a^2\,c^3\,m^2+32\,a^2\,c^3\,m+60\,a^2\,c^3+4\,a\,b^2\,c^2\,m^2+20\,a\,b^2\,c^2\,m-2\,b^4\,c\,m\right )}{4\,c^3\,\left (m^3+9\,m^2+23\,m+15\right )}+\frac {b\,\left (2\,a^2\,c^2\,m^2+16\,a^2\,c^2\,m+30\,a^2\,c^2-2\,a\,b^2\,c\,m-10\,a\,b^2\,c+b^4\right )}{4\,c^3\,\left (m^3+9\,m^2+23\,m+15\right )}+\frac {x^3\,\left (m+1\right )\,\left (10\,a\,c+2\,b^2\,m+5\,b^2+2\,a\,c\,m\right )}{m^3+9\,m^2+23\,m+15}+\frac {c^2\,x^5\,\left (m^2+4\,m+3\right )}{m^3+9\,m^2+23\,m+15}+\frac {5\,b\,c\,x^4\,\left (m^2+4\,m+3\right )}{2\,\left (m^3+9\,m^2+23\,m+15\right )}+\frac {b\,x^2\,\left (m+1\right )\,\left (m\,b^2+30\,a\,c+6\,a\,c\,m\right )}{2\,c\,\left (m^3+9\,m^2+23\,m+15\right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________